Module Property Verification – a Conceptual Framework to Perform Product Verifications at Module Level
نویسندگان
چکیده
This paper presents a conceptual framework for verifying product properties at module level, Module Property Verification (MPV). MPV is an approach to decrease overall lead-times and increase the quality of modularised products. Pre-studies indicate that companies tend to have the majority of property verifications at product level, Product Property Verification (PPV), which may results in increased costs and extended lead-times. At the same time, the implementation of a modularised product assortment brings new challenges to companies such as how to decompose product specifications into module specifications, achieving a balance between properties to verify, designing assembly systems that support MPV, and finding methods to design modules for MPV. The discussions of the proposed conceptual framework constitute a theoretical foundation for MPV based on pre-studies, literature reviews and applicable theories.
منابع مشابه
Module Property Analysis in the Assembly Process
Property analysis of modules in a modular product can support the decrease of lead-time to customers (TTC) by shortening the time needed for control and/or testing to verify product specifications. It is argued that verification of product specifications on complete product level, product property analysis (PPA), should be shifted towards verification on a modular level, module property analysi...
متن کاملDiscrepant ESD-CDM Test System and Failure Yield Prediction between ESD Association and JEDEC Standards
CDM test system and verification method of ESDA and JEDEC standards have been studied. There are several different items. They can be categorized into 5 major items, which are charging system, discharging system, verification module, waveform verification, and classification level. Regarding waveform verifications at each stress level, ESDA system provides higher peak current whereas lower rise...
متن کاملModule amenability and module biprojectivity of θ-Lau product of Banach algebras
In this paper we study the relation between module amenability of $theta$-Lau product $A×_theta B$ and that of Banach algebras $A, B$. We also discuss module biprojectivity of $A×theta B$. As a consequent we will see that for an inverse semigroup $S$, $l^1(S)×_theta l^1(S)$ is module amenable if and only if $S$ is amenable.
متن کامل$PI$-extending modules via nontrivial complex bundles and Abelian endomorphism rings
A module is said to be $PI$-extending provided that every projection invariant submodule is essential in a direct summand of the module. In this paper, we focus on direct summands and indecomposable decompositions of $PI$-extending modules. To this end, we provide several counter examples including the tangent bundles of complex spheres of dimensions bigger than or equal to 5 and certain hyper ...
متن کاملA Framework for the Hazard Analysis of Chemical Plants ’
Transposing the notion of software frameworks to the abstraction level of formal specifications and verifications, we developed a framework supporting the formal hazard analysis of chemical plants. It provides generic specification modules for the description of safety properties, specification modules for the description of plant models, and theorems stating that certain subsystem structures o...
متن کامل